1.
المؤلف: هیلبرت ،داوید،1943- 1862
المکتبة: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ،منطق ریاضی،
رده :
511
/3
ه
962
ب
1380
2.
المؤلف: بیزام ،جورج
المکتبة: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ،منطق ریاضی - مسائل ? تمرینها و غیره، , ،ریاضیات - سرگرمیها،
رده :
511
/3076
ب
936
ص
1374
3.
المؤلف: اردشیر بهرستاقی،محمد
المکتبة: کتابخانه آیت الله ايرواني (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ،منطق ریاضی،
رده :
511
،
/3
،
الف
381
م
،
1389
4.
المؤلف: موحد،ضیا،1321-
المکتبة: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ،منطق ریاضی،
رده :
511
/3
م
828
د
1386
5.
المؤلف: دباغ ،سروش,ترجمه و شرح سروش دباغ
المکتبة: کتابخانه هشت بهشت (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ، ویتگنشتاین ? لودویگ ? 1889 - 1951 م.، نظریه درباره صدق و کذب )منطق(, ، صدق و کذب )منطق(، , ، منطق ریاضی،
رده :
193
د
352
ر
1393
6.
المؤلف: ادیب سلطانی ،میرشمس الدین ،- 1310
المکتبة: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ،منطق ریاضی، , ،گودل ? قضیه،
رده :
511
/3
الف
348
پ
1373
7. <A> Concise introduction to pure mathematics
المؤلف: \ Martin Liebeck.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
8. <A> First Course in Logic
المؤلف: \ Shawn Hedman
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
9. <A> First Course in Mathematical Logic and Set Theory
المؤلف: \ Michael L. O'Leary
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
10. <A> First Course in Modern Logic
المؤلف: \ Edith Watson Shipper and Edward Schuh
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960
11. <A> Framework for Priority Arguments
المؤلف: / Manuel Lerman
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
12. <A> Logical Approach to Philosophy
المؤلف: \ edited by David Devidi and Tim Kenyon.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگره‌ها ,منطق ریاضی -- کنگره‌ها
رده :
E-Book
,
13. <A> Mathematical Introduction to Logic
المؤلف: \ Herbert B. Enderton
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
14. <A> course in mathematical logic for mathematicians
المؤلف: \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
15. A friendly introduotion to mathematical Logic
المؤلف: / Christopher C. Leary
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ک‍ام‍پ‍ی‍وت‍ری,منطق ریاضی
رده :
QA
۷۶
/
۹
/
ل
۹
ف
۴ ۱۳۷۹
16. Alfred Tarski: life and logic
المؤلف: / Anita Burdman Feferman, Solomon Feferman
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ت‍ارس‍ک‍ی، آل‍ف‍رد،Tarski, Alfred,منطق ریاضی,Logicians - United States - Biography
رده :
QA
۲۹
/
ت
۲
ف
۷ ۱۳۸۳
17. Algebra, logic, and combinatorics
المؤلف: \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
18. An outline of set theory
المؤلف: / James M. Henle.,ه‍ن‍ل,Henle
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: نظریه مجموعه‌ها,منطق ریاضی
رده :
QA
۲۴۸
/
ھ
۹
الف
۸ ۱۳۷۰
19. An examination of logical positivism
المؤلف: / Julivs Rudolph Weinberg
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: اث‍ب‍ات‌گ‍رای‍ی م‍ن‍طق‍ی,منطق ریاضی
رده :
BibB
۸۲۴
/
۶
/
و
۲
ال
ف
۷ ۱۳۸۰
20. Analysis and Synthesis of Logics
المؤلف: \ by Walter Carnielli...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
